Computer simulation of the mathematical modeling involved in constitutive equation development: Via symbolic computations

Symbolic-Algebraic Computations in Modeling Language for Mathematical Programming

The Mathematical Modeling and Computer Simulation of Pulse Electrochemical Micromachining

need for complex and accurate three dimensional (3-D) microcomponents is increasing rapidly for many industrial and consumer products. Electrochemical machining process (ECM) has the potential of generating desired crack-free and stress-free surfaces of microcomponents. This paper reports a study of pulse electrochemical micromachining (PECMM) using ultrashort (nanoseconds) pulses for generatin...

the survey of the virtual higher education in iran and the ways of its development and improvement

این پژوهش با هدف "بررسی وضعیت موجود آموزش عالی مجازی در ایران و راههای توسعه و ارتقای آن " و با روش توصیفی-تحلیلی و پیمایشی صورت پذیرفته است. بررسی اسنادو مدارک موجود در زمینه آموزش مجازی نشان داد تعداد دانشجویان و مقاطع تحصیلی و رشته محل های دوره های الکترونیکی چندان مطلوب نبوده و از نظر کیفی نیز وضعیت شاخص خدمات آموزشی اساتید و وضعیت شبکه اینترنت در محیط آموزش مجازی نامطلوب است.

Computer-assisted Proofs and Symbolic Computations

We discuss some main points of computer-assisted proofs based on reliable numerical computations. Such so-called self-validating numerical methods in combination with exact symbolic manipulations result in very powerful mathematical software tools. These tools allow proving mathematical statements (existence of a fixed point, of a solution of an ODE, of a zero of a continuous function, of a glo...

Mathematical modeling and computer simulation in blood coagulation.

Over the last two decades, mathematical modeling has become a popular tool in study of blood coagulation. The in silico methods were able to yield interesting and significant results in the understanding of both individual reaction mechanisms and regulation of large sections of the coagulation cascade. The objective of this paper is to review the development of theoretical research in hemostasi...